| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: gap-pkg-quickcheck | Distribution: Fedora Project |
| Version: 1.0.2^20260731.3a1a010 | Vendor: Fedora Project |
| Release: 1.fc44 | Build date: Thu Sep 3 23:58:37 2026 |
| Group: Unspecified | Build host: buildvm-x86-23.rdu3.fedoraproject.org |
| Size: 40844 | Source RPM: gap-pkg-quickcheck-1.0.2^20260731.3a1a010-1.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: https://gap-packages.github.io/quickcheck/ | |
| Summary: Randomized property-based testing for GAP | |
This package provides a library for randomized, property-based testing in GAP, inspired by the QuickCheck framework found in languages like Haskell. It allows you to write tests as general properties that should hold true for your code, and the QuickCheck package will then generate a large number of random test cases to try and find a counterexample. Features: - Property-Based Testing: Define properties and let the framework generate test data automatically. - Automatic Sizing: The package automatically tries a range of different sizes for the generated objects, starting with small and simple cases to find the minimal counterexamples first. - Variety of Types: It supports random generation for a range of common GAP types.
MPL-2.0
* Thu Sep 03 2026 Jerry James <loganjerry@gmail.com> - 1.0.2^20260731.3a1a010-1 - Initial RPM
/usr/share/doc/gap-pkg-quickcheck /usr/share/doc/gap-pkg-quickcheck/README.md /usr/share/gap/pkg/quickcheck /usr/share/gap/pkg/quickcheck/PackageInfo.g /usr/share/gap/pkg/quickcheck/gap /usr/share/gap/pkg/quickcheck/gap/digraphs.g /usr/share/gap/pkg/quickcheck/gap/generators.g /usr/share/gap/pkg/quickcheck/gap/quickcheck.gd /usr/share/gap/pkg/quickcheck/gap/quickcheck.gi /usr/share/gap/pkg/quickcheck/init.g /usr/share/gap/pkg/quickcheck/makedoc.g /usr/share/gap/pkg/quickcheck/read.g /usr/share/gap/pkg/quickcheck/tst /usr/share/gap/pkg/quickcheck/tst/digraphs.tst /usr/share/gap/pkg/quickcheck/tst/quickcheck01.tst /usr/share/gap/pkg/quickcheck/tst/testall.g /usr/share/gap/pkg/quickcheck/tst/tst-gap /usr/share/gap/pkg/quickcheck/tst/tst-gap/lists /usr/share/gap/pkg/quickcheck/tst/tst-gap/lists/empty.tst /usr/share/gap/pkg/quickcheck/tst/tst-gap/lists/sort.tst /usr/share/gap/pkg/quickcheck/tst/tst-gap/math.tst /usr/share/gap/pkg/quickcheck/tst/tst-gap/partialperm.tst /usr/share/gap/pkg/quickcheck/tst/tst-gap/permgroups /usr/share/gap/pkg/quickcheck/tst/tst-gap/permgroups/groups.tst /usr/share/gap/pkg/quickcheck/tst/tst-gap/transformation.tst /usr/share/licenses/gap-pkg-quickcheck /usr/share/licenses/gap-pkg-quickcheck/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Sep 4 23:09:01 2026